<?php
include("header.php");
include("database.php"); 
?>
<?php
  if (isset($_SESSION['nick'])){
    unset($_SESSION['nick']);
  }
?>
  <p>Se ha desconectado del sistema. Hasta pronto!</p>
  <p><a href="index.php">Volver</a> a la p&aacute;gina de inicio</p>
  <script type='text/javascript'>window.location = 'index.php'</script>
  

